$\forall$$i$:$\mathbb{N}^{+}$. $\mathbb{Z}${-}rng{-}Prime($i$) $\Leftarrow\!\Rightarrow$ prime($i$)